Science for the People

Results: 1836



#Item
61Types of tourism / Structure / Civil society / Free labor / Ethics / International volunteering / Volunteerism / Volunteering / Political science / Sustainable tourism

people and places: responsible volunteering 18 or 80 you have skills - we promise to match them to the right project for you want to volunteer abroad? talk to US

Add to Reading List

Source URL: travel-peopleandplaces.co.uk

Language: English - Date: 2013-02-05 09:39:23
62Building engineering / Heating /  ventilating /  and air conditioning / Building biology / Low-energy building / Construction / Real estate / Natural environment / Air pollution / Directive on the energy performance of buildings / Ventilation / Indoor air quality / Building science

Europe needs smart regulation for energy efficient and healthy buildings European people living in urban areas spend up to 90 % of their life in buildings. Indoors, people are exposed to up to 5-times higher pollution,

Add to Reading List

Source URL: www.rehva.eu

Language: English - Date: 2015-06-15 11:15:28
63Library science / State taxation in the United States / Oregon Department of Revenue / Oregon / Tax / Library / Income tax in Australia / State income tax / United States / Government / Economy

P.O. Box 1905 Beaverton, ORwww.peopleforlibraries.org People For Libraries welcomes your support! Your contributions are essential to our efforts to advocate for libraries in Washington County.

Add to Reading List

Source URL: peopleforlibraries.org

Language: English - Date: 2015-05-13 23:25:27
64Education / Psychometrics / Standardized tests / Intelligence tests / Sports science / Test / General Educational Development / G factor / ACT / National Center for Assessment in Higher Education / Placement testing

EXCEL SKILLS TEST (EST) TEST GUIDE WHY DO AT&T AND ITS AFFILIATES TEST? At AT&T, we pride ourselves on matching the best jobs with the best people. To do this, we need to better understand your skills and abilities to ma

Add to Reading List

Source URL: att.jobs

Language: English - Date: 2016-07-21 18:03:55
65Theoretical computer science / Mathematical logic / Logic in computer science / Automated theorem proving / Proof assistants / Formal methods / Type theory / Isabelle / First-order logic / Logic for Computable Functions / Unification / HOL

LEO-II and Satallax on the Sledgehammer Test Bench Nik Sultanaa,∗, Jasmin Christian Blanchetteb , Lawrence C. Paulsona a Computer b Institut Laboratory, University of Cambridge, United Kingdom

Add to Reading List

Source URL: people.mpi-inf.mpg.de

Language: English - Date: 2015-01-25 16:18:54
66Economics / Economy / Science / Game theory / Rational choice theory / Market / Microeconomics / Nash equilibrium / Economic equilibrium / Rationality / Macroeconomic model / Behavioral economics

REVIEW ‘‘ impose sanctions on others for norm violations. Strong reciprocators bear the cost of rewarding or punishing even if they gain no individual

Add to Reading List

Source URL: people.hss.caltech.edu

Language: English - Date: 2006-02-06 17:08:07
67Copernican Revolution / Astronomy / European people / Science and technology / De revolutionibus orbium coelestium / Nicolaus Copernicus / Georg Joachim Rheticus / Narratio Prima / Copernicus / Heliocentrism

Acknowledgements The conference is organised by: European Association for the Study of Science and Technology Nicolaus Copernicus University in Toruń, Faculty of Humanities With technical assistance from: Scientific So

Add to Reading List

Source URL: easst.net

Language: English - Date: 2015-06-18 18:45:10
68Egalitarianism / Structure / Politics / Culture / Empowerment / Management / Psychology / Social work / Science / Post-2015 Development Agenda / Social protection floor / Poverty reduction

GLOBAL COOPERATION NEWSLETTER FEBRUARY 2014 In this issue: Promoting empowerment of people: ways and means Call for action by the Global Coalition: Social protection floor concept must comprise the core social objective

Add to Reading List

Source URL: www.icsw-japan.or.jp

Language: English - Date: 2016-03-30 22:59:00
69Actuarial science / Financial risk / Probability / Risk / Safety engineering / Industrial hygiene / Safety / Applied mathematics

Risk Assessment for Secrets in the Soil Workshop, DIG, completed 28th AprilHazard: Sorting equipment People / Items at risk: Staff / teachers / pupils Comments: Hazards arising from incorrect handling of equipm

Add to Reading List

Source URL: www.thejorvikgroup.com

Language: English - Date: 2014-07-18 08:24:44
70Mathematical logic / Logic / Theoretical computer science / Type theory / Automated theorem proving / Logic programming / Data types / Unification / Recursive data type / Substitution / Corecursion / First-order logic

Noname manuscript No. (will be inserted by the editor) A Decision Procedure for (Co)datatypes in SMT Solvers Andrew Reynolds · Jasmin Christian Blanchette

Add to Reading List

Source URL: people.mpi-inf.mpg.de

Language: English - Date: 2016-03-02 06:43:58
UPDATE